761. Proceedings : supercomputing 93, Portland, Oregon, November 15-19
پدیدآورنده : sponsored by IEEE Computer Society Technical Committees on Supercomputing Applications and Computer Architecture ACM SIGARCH
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Supercomputers - Congresses , Parallel processing )Electronic computers( - Congresses
رده :
QA
76
.
88
.
S856
1993
762. Proceedings :7 th International Symposium on Parallel Architectures, Algorithms and Networks : I-SPAN 2004, May 10-12, 2004, Hong Kong, SAR, China
پدیدآورنده : edited by, D. Frank Hsu... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture
رده :
QA
76
.
58
.
I57
2004
763. Process algebra and probabilistic methods :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
764. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
267
.
P36
2001
765. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
پدیدآورنده : Luca de Alfaro, Stephen Gilmore )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
766. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده : Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
767. Process algebra for parallel and distributed processing
پدیدآورنده : / edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Formal methods (Computer science)
رده :
QA76
.
58
.
P7664
2009
768. Process algebra for parallel and distributed processing
پدیدآورنده : edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing,، Formal methods )Computer science(
رده :
QA
76
.
58
.
P75
769. Process algebra for parallel and distributed processing
پدیدآورنده : edited by Michael Alexander, William Gardner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(,Distributed processing ، Electronic data processing,، Formal methods )Computer science(
رده :
QA
76
.
58
.
P7664
2009
770. Process algebra for parallel and distributed processing
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Parallel processing (Electronic computers),Electronic data processing -- Distributed processing,Formal methods (Computer science)
رده :
004
.
0151
P963
771. Processing Symposium : Sponsored by IEEE Computer Society
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
I56
772. Programming Environments for Parallel computing : Proceedings of the IFIP WG 10.3 workshop on programming Environments for parallel computing Edinburgh , Scotland 1992 , 6 _ 8 April ,1992
پدیدآورنده : Edited by Nigel Topham , Roland Ibbett , Thmas Bemmerl
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (تهران)
موضوع : Parallel programming ( computer science ) _ congresses,Parallel Processing ( Electronic computers ) _ Congresses
رده :
QA
76
.
642
.
I35
1992
773. Programming and customizing the multicore propeller microcontroller
پدیدآورنده : Parallax Inc
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Microcontrollers, Programming,Automatic control,Parallel processing (Electronic computers),Programmable controllers
رده :
TJ
,
223
,.
P76
,
P78
,
2010
774. Programming and customizing the multicore propeller microcontroller: the official guide
پدیدآورنده : Parallax Inc
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Microcontrollers,، Automatic control,، Parallel processing )Electronic computers(,، Programmable controllers
رده :
TJ
223
.
P76
P78
2010
775. Programming and customizing the multicore Propeller microcontroller: the official guide
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programmable controllers,، Microcontrollers-- Programming,، Automatic control,، Parallel processing )Electronic computers(
رده :
TJ
223
.
P76
.
P78
2010
776. Programming environments for massively parallel distributed systems : working conference of the IFIP WG10.3, April 25-29, 1994
پدیدآورنده : edited by K.M. Decker, R.M. Rehmann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
58
.
P763
777. Programming the Propeller with Spin
پدیدآورنده : Harprit Singh Sandhu
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Programmable controllers,Microcontrollers- Programming,Spin (Computer program language),Parallel processing (Electronic computers)
رده :
TJ
,
223
,.
P76
,
S373
,
2010
778. Protocols by invariants
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Electronic data processing ; Distributed processing ; Computer network protocols ;
779. Query processing in parallel relational database systems
پدیدآورنده : ]edited by[ Hongjun Lu, Beng-Chin Ooi, Kian-Lee Tan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Relational databases, Parallel processing )Electronic computers(, Database searching
رده :
QA
76
.
9
.
D3
Q475
1994